More from this Author
Found 2 books by Didier Bert (Editor)
Zb 2003 - Formal Specification and Development in Z and B
by Didier Bert (Editor), Jonathan P. Bowen (Editor), Steve King (Editor), Marina Waldén (Editor)
Recent Trends in Algebraic Development Techniques
by Didier Bert (Editor), Christine Choppy (Editor), Peter Mosses (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)